1. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
2. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
3. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
4. Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
پدیدآورنده : Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer systems
رده :
QA
76
.
L28
Vol
.
1755
5. Perspectives of system informatics : second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 1996 : proceedings
پدیدآورنده : Dines Bjorner, Manfred Broy, Igor V. Pottosin )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Ershov, Andrei Petrovich,Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1181
6. Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
پدیدآورنده : Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
2244
7. Software engineering. Domains, Requirements, and Software Design With 100 Figures
پدیدآورنده : Bjorner, D.)Dines(,7391-
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering,، Computer programming
رده :
QA
76
.
758
.
B56
2006
8. Towards an formal description of Ada
پدیدآورنده : Bjorner, Dines, 7391- ed
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Ada )Computer program language(
رده :
QA
76
.
73
.
A35
.
B5
9. Vdm 87:vdm,a formal method at work:vdm-europe symposium 1987,
پدیدآورنده : BJORNER,DINES
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : COMPUTER SOFTWARE-DEVELOPMENT-CONGRESSES , COMPUTER SOFTWARE INDUSTRY-EUROPEAN
رده :
QA
76
.
76
.
D47
V85
1987